\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Symbolic variable elimination}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Operations on the case statements}{3}}
\newlabel{ll}{{1}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Procedure}{5}}
\newlabel{eq:joint}{{5}{5}}
\citation{spudd}
\citation{bahar93add}
\citation{penberthy94}
\newlabel{case1}{{7}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Extended ADDs (XADDs)}{6}}
\bibdata{cont_mdp}
\bibcite{bahar93add}{1}
\bibcite{spudd}{2}
\newlabel{fig:correct}{{1}{7}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces {\sc  Reorder}(F) }}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Empirical Results}{7}}
\bibcite{penberthy94}{3}
\bibstyle{plain}
